1. Logicism, intuitionism, and formalism
پدیدآورنده : edited by Sten Lindström ... [et al.]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Intuitionistic mathematics,Mathematics-- Philosophy-- History
رده :
QA8
.
4eb
2. Logicism, intuitionism, and formalism : what has become of them?
پدیدآورنده : edited by Sten Lindstrom ... ]et al.[
کتابخانه: (طهران)
موضوع : ، Intuitionistic mathematics,Philosophy -- History ، Mathematics
رده :
QA
8
.
4
.
L634
3. Logicism, intuitionism, and formalism: what has become of them?
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Intuitionistic mathematics,Philosophy History ، Mathematics
رده :
QA
8
.
4
.
L635
2009
